efficient reducibility

有效可约性